canonical disjunctive form

逻辑和标准形